wlan.6.jani:model: info: wlan.6 is an MDP model.
wlan.6.jani:variables[7]: info: Expanding variable "s1" into 12 locations in automaton "station1".
wlan.6.jani:variables[12]: info: Expanding variable "s2" into 12 locations in automaton "station2".
wlan.6.jani: info: Need 16 bytes per state.
wlan.6.jani: info: Explored 5007548 states for COL=0.
Peak memory usage: 1410 MB
Analysis results for wlan.6.jani
Experiment COL=0
+ State space exploration
State size: 16 bytes
States: 5007548
Transitions: 6350470
Branches: 11475748
Rate: 419779 states/s
Time: 12.5 s
+ Property sent
Result: True
Time: 160.2 s
Probability: 1
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 159.9 s
Min. prob. 1 states: 5007548
Time for min. prob. 1 states: 0.3 s
Exported results to file "/out.txt".